a non empty subset H of a group G is a subgroup of G if a